/*
 * Copyright (C) 2008-2011 CBDP Consortium
 * 
 * All rights reserved.
 *
 * This software is licensed as described in the file COPYING, which
 * you should have received as part of this distribution.
 * 
 * This software consists of contributions made by many individuals, 
 * listed below:
 *
 * Author: 	Xabier Laiseca <xabier.laiseca@deusto.es>
 * 			David Ausín <david.ausin@deusto.es>
 */
package cbdp.server.contextreasoner.internal;

import cbdp.server.contextreasoner.ContextManager;
import cbdp.server.contextreasoner.impl.reasoner.GenericReasoner;

public interface InternalContextManager extends ContextManager
{
	public GenericReasoner getGenericReasoner();
	public boolean isInExecution();
	public void unload();
}
